A => (B => C)